Program analysis

Results: 6751



#Item
291Education / Evaluation / Educational psychology / United Nations Evaluation Group / Academia / Independent Evaluation Office / Educational assessment / Program evaluation / Joint Committee on Standards for Educational Evaluation

Global Evaluation Report Assessment and Analysis System (GERAAS)

Add to Reading List

Source URL: www.unwomen.org

Language: English - Date: 2015-02-03 17:20:40
292Statistics / Statistical theory / Bayesian statistics / Bayesian inference / Prior probability / Robust Bayesian analysis / Artificial neural network / Deep learning / Variational Bayesian methods / Machine learning / Naive Bayes classifier / Bayesian network

Big DataConference Program Monday, August 22 9:00-9:50am Yiling Chen, Harvard University Title: “Machine Learning with Strategic Data Sources”

Add to Reading List

Source URL: cmsa.fas.harvard.edu

Language: English - Date: 2016-08-03 13:09:29
293Software / Programming language implementation / Software testing / Program analysis / Quality assurance / Software review / Static program analysis / Static / Clang / Institute for Applied Information Processing and Communications

Hardening Software against Physical Attacks using Static Analysis Advisor(s): Mario Werner Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria

Add to Reading List

Source URL: www.iaik.tugraz.at

Language: English - Date: 2015-09-08 06:00:03
294V-12 Navy College Training Program / Association of Catholic Colleges and Universities / Marquette University / Roman Catholic Archdiocese of Milwaukee / Education / Marquette /  Michigan / Undergraduate education / Nursing / Graduate school / Wisconsin / Geography of Michigan / Marquette University Law School

MARQUETTE UNIVERSITY 2015 Undergraduate Alumni Survey Executive Summary Office of Institutional Research & Analysis INTRODUCTION The Undergraduate Alumni Survey examines post-graduation outcomes of recent Marquette Unive

Add to Reading List

Source URL: mu.edu

Language: English - Date: 2016-04-26 09:28:24
295Software engineering / Computing / Programming language theory / Type theory / Concurrent programming languages / Program analysis / Type system / Go / Sheaf / Orbifold / CurryHoward correspondence

A Formal Model of Service-Oriented Dynamic Object Groups I Einar Broch Johnsena,∗, Olaf Owea , Dave Clarkeb , Joakim Bjørka a b

Add to Reading List

Source URL: einarj.at.ifi.uio.no

Language: English - Date: 2015-01-21 15:14:28
296Qualitative research / Knowledge / Science / Scientific method / Data analysis / Narrative inquiry / Content analysis / Evaluation / Analysis / Usability / Coding / Program evaluation

G3658-12 University of Wisconsin-Extension Cooperative Extension Madison, Wisconsin

Add to Reading List

Source URL: iiseagrant.org

Language: English - Date: 2015-04-28 14:44:56
297Mathematical analysis / Mathematics / Algebra / Differential geometry / Riemannian geometry / Computational statistics / Category theory / Information geometry / Information theory / Normal / Logarithm / Stochastic gradient descent

Natural Gradient Works Eciently in Learning Shun-ichi Amari RIKEN Frontier Research Program Wako-shi, Hirosawa 2-1, Saitama, JAPAN fax: +

Add to Reading List

Source URL: www.maths.tcd.ie

Language: English - Date: 2009-10-06 06:49:39
298Software engineering / Compiler optimizations / Programming language theory / Computer programming / Compiler / Loop fusion / Loop optimization / Program optimization / Inline expansion / ALGOL 68 / Optimizing compiler / Induction variable

ROSE Compiler Infrastructure Source-to-Source Analysis and Optimization Dan Quinlan Rich Vuduc, Qing Yi, Markus Schordan

Add to Reading List

Source URL: www.cs.rice.edu

Language: English - Date: 2005-11-07 14:49:56
299Image processing / Signal processing / Mathematical optimization / Operations research / Electrical engineering / Convex analysis / Mathematics / Mathematical analysis / Deconvolution / Iterative reconstruction / Convex optimization / Inverse problem

Optimization in Image Processing Workshop Program Monday, June 27 9:30-10:20 Joachim Weickert, Saarland University Title: “FSI Schemes: Fast Semi-Iterative Methods for Diffusive or Variational Image

Add to Reading List

Source URL: cmsa.fas.harvard.edu

Language: English - Date: 2016-06-28 13:47:36
300Software engineering / Computer programming / Computing / Debugging / Software quality / Software maintenance / Reliability engineering / Systems engineering / Software testing / Fault tree analysis / Triage / Program slicing

Triage: Diagnosing Production Run Failures at the User’s Site Joseph Tucek, Shan Lu, Chengdu Huang, Spiros Xanthos and Yuanyuan Zhou Department of Computer Science University of Illinois at Urbana Champaign

Add to Reading List

Source URL: www.sosp2007.org

Language: English - Date: 2016-06-15 13:09:51
UPDATE